Please check if the PR fulfills these requirements

See how to contribute

• The PR has no duplicates (please search among the Pull Requests
  before creating one)
• The PR follows
  our contributing guidelines
• Tests for the changes have been added (for bug fixes / features)
• Docs have been added / updated (for bug fixes / features)
• UPGRADING.md has been updated with a migration guide (for breaking changes)
• configuration.schema.json updated if new parameters are added.

What kind of change does this PR introduce?

Fixes invalid gRPC TaskProgress message sent on compile, particularly a spurious message with a percentage of completion >100% and a duplicate boolean field completed set to true.

What is the current behavior?

The following message sequence is observed in compile:

[...]
COMPILE PROGRESS> percent:62.96297
COMPILE PROGRESS> percent:66.66667
COMPILE PROGRESS> percent:70.37038
COMPILE PROGRESS> percent:74.07408
COMPILE PROGRESS> percent:77.77779
COMPILE PROGRESS> percent:81.48149
COMPILE PROGRESS> percent:85.185196
COMPILE PROGRESS> percent:88.8889
COMPILE PROGRESS> percent:92.592606
COMPILE PROGRESS> percent:96.29631
COMPILE PROGRESS> completed:true percent:100.000015
COMPILE PROGRESS> completed:true percent:103.70372

There is a last spurious message due to incorrect progress tracking.

What is the new behavior?

[...]
COMPILE PROGRESS> percent:76
COMPILE PROGRESS> percent:80
COMPILE PROGRESS> percent:84
COMPILE PROGRESS> percent:88
COMPILE PROGRESS> percent:92
COMPILE PROGRESS> percent:96
COMPILE PROGRESS> completed:true  percent:100

Does this PR introduce a breaking change, and is titled accordingly?

No

Other information

Fixes #2711